https://filesoo.com/product/7877/introduction-to-symplectic-dirac-operators